The investigation of TLC model checker properties VV Shkarupylo, I Tomičić, KM Kasian Journal of Information and Organizational Sciences 40 (1), 145-152, 2016 | 27 | 2016 |
An approach to increase the effectiveness of TLC verification with respect to the concurrent structure of TLA+ specification VV Shkarupylo, I Tomičić, KM Kasyan, J Alsayaydeh Faculty of Computer Systems & Software Engineering (FSKKP), 2018 | 21 | 2018 |
Diagnostic mathematical model of radio-electronic devices M Kasian, K Kasian 2018 14th International Conference on Advanced Trends in Radioelecrtronics …, 2018 | 4 | 2018 |
Development of modified method for text recognition in standardized picture K Kasian, V Bratchykov, V Shkarupylo Eastern-European Journal of Enterprise Technologies 3 (2), 75, 2015 | 4 | 2015 |
Разработка модифицированного метода распознавания текста на стандартизированном изображении КН Касьян, ВВ Братчиков, ВВ Шкарупило Восточно-Европейский журнал передовых технологий 3 (2 (75)), 11-17, 2015 | 4 | 2015 |
Combined method of prioritization and automation of software regression testing D Zhyhulin, K Kasian, M Kasian 2022 IEEE 16th International Conference on Advanced Trends in …, 2022 | 3 | 2022 |
Elementwise diagnosing of technical systems with high reliability requirements K Kasian, M Kasian 2016 13th International Conference on Modern Problems of Radio Engineering …, 2016 | 3 | 2016 |
Программная и информационная поддержка диагностирования на этапе сопровождения радиоэлектронных средств КН Касьян, НН Касьян Восточно-Европейский журнал передовых технологий 2 (2 (68)), 29-33, 2014 | 3 | 2014 |
Прогнозирование годового роста трафика Интернет, на основе подобранной модели временного ряда ВВ Шкарупило, КН Касьян Восточно-Европейский журнал передовых технологий 1 (4 (43)), 36-38, 2010 | 3 | 2010 |
Исследование с помощью статистических программ целесообразности внедрения стандарта 10G-Ethernet в кластерах вузов ВВ Шкарупило, КН Касьян, АГ Маркин Радіоелектроніка, інформатика, управління, 153-156, 2010 | 3 | 2010 |
Diagnosing of Radio-Electronic Equipment With the Help of Traditional CAD Systems K Kasyan, N Kasyan 2006 International Conference-Modern Problems of Radio Engineering …, 2006 | 3 | 2006 |
Methodology of designing of radio-electronic means K Kasyan, N Kasyan Proceedings of the International Conference Modern Problems of Radio …, 2004 | 2 | 2004 |
A neural network-based study of the performance of a developed foreign language teaching system O Krupii, K Kasian CEUR Workshop Proceedings, 191-205, 2021 | 1 | 2021 |
Software Complex for Automated Diagnostics of Internal Parameters of Technical Systems. K Kasian, M Kasian CMIS, 498-509, 2019 | 1 | 2019 |
ПРОГНОЗИРОВАНИЕ ПОВЕДЕНИЯ ВНУТРЕННИХ ПАРАМЕТРОВ ТЕХНИЧЕСКИХ СИСТЕМ В ПРОЦЕССЕ ИХ ДИАГНОСТИРОВАНИЯ КН Касьян, НН Касьян Инновации на основе информационных и коммуникационных технологий 1, 396-398, 2015 | 1 | 2015 |
Программные методы кодирования видеопотоков, применяемые в компьютерной графике СЮ Скрупский, КН Касьян Радіоелектроніка, інформатика, управління, 130-134, 2009 | 1 | 2009 |
Інформацiйна технологія діагностування аналогових пристроїв перетворення сигналів ММ Касьян, КМ Касьян, ВІ Глушко, ВФ Оніщенко Радіоелектроніка, інформатика, управління, 28-33, 2005 | 1 | 2005 |
Problems of technical states diagnosing of electronic devices K Kasyan Experience of Designing and Applications of CAD Systems in Microelectronics …, 2001 | 1 | 2001 |
A Reasonable Smart Home Technology on the Arduino. D Lubianov, K Kasian, M Kasian CMIS, 334-343, 2021 | | 2021 |
Method for Searching Music Compositions Based on the Spectral Analysis V Yelskyi, K Kasian, M Kasian 2020 IEEE 15th International Conference on Advanced Trends in …, 2020 | | 2020 |